$g$$\downarrow$set $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$$<\mid$$g$$\mid$, =$_{b}$$g$, $\leq_{b}$$g$$>$